Knuth-Bendix algorithm
克努特-本迪克斯算法
热门查询
- cardia n. 贲门; 前胃; 心窝
- tempura n. 天麸罗（日本菜肴，将鱼虾及蔬菜等蘸上鸡蛋牛奶面糊炸熟）
- Rowdies n. rowdy的变形
- barnes n. 巴尔内斯（姓氏）
- gamely adv. 勇敢地；不屈地
- cytology n. 细胞学
- BLU abbr. blue 蓝色（的）
- cary n. 卡里（男子名）
- shank n. 柄；小腿；[解剖][脊椎] 胫 n. (Shank)人名；(英)尚克
- smuggling n. 走私 v. 走私 偷运
- Wealden n. 威尔德统 a. 威尔德的；威尔德式的
- keynes n. 凯恩斯（英国经济学家）
- entrenchment n. 堑壕；防卫工事
- depressed adj. 沮丧的；萧条的；压低的 v. 使沮丧；使萧条（depress的过去式和过去分词形式）；压低
- Matlock 马特洛克[英国英格兰中部城镇](德比郡首府)
- Tunisian n. 突尼斯人 adj. 突尼斯的；突尼斯人的
- geoscience n. 地球科学
- omniscient adj. 全知的；无所不知的 n. 上帝；无所不知者
- vituperative adj. 责骂的
- remodeled adj. 改造的；改制的 v. 改造（remodel的过去式及过去分词）；重建
考试词汇表
- mannose phosphonic isomerase
- mannose-6-phosphate receptor
- manoeuvering characteristics
- manoeuvring device, built-in
- manpower assessmerit program
- manpower management programs
- manslaughter in self-defense
- mantle-grade thorium nitrate
- manual adjustable bed boards
- manual adjustable thermostat
- manual backup control system
- manual electrode pad plating
- manual expression of emotion
- manual fire alarm call point
- manual hydroelectric station
- manual metal slitting cutter
- manual on chemical pollution
- manual proportioning control
- manual telegraph transmitter
- manual telephone switchboard
